退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:翻译验证器的形式验证:以指令调度优化为例
Tristan, Jean-Baptiste; Leroy, Xavier;
机译:端到端正式规范,验证和验证过程:太空飞行软件的案例研究
机译:致力于自动生成形式规范以验证和验证可靠的分布式系统:以工业案例研究为例的方法
机译:正式验证翻译验证器
机译:正式验证复杂的数据路径,具有针对成本和性能的自定义优化
机译:变位:针对验证和验证研究的设计优化
机译:验证支持设备和用于软件定义的网络环境中的网络服务链的正式验证的方法,以及具有验证支持设备的正式验证设备
机译:用于验证高速缓存侦听逻辑以及指令和数据高速缓存之间的一致性以进行处理器设计验证和确认的系统和方法
机译:用于处理器设计验证和确认的高速缓存探听逻辑以及指令和数据高速缓存之间一致性的验证的系统和方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。